#ifndef _OS_LIB_H_
#define _OS_LIB_H_
/*
* Static library provided by OS for applications
*/

#include "types.h"
#include <stdio.h>

#ifdef printf
#undef printf
#endif

// Use lightweight printf implementation which does not
// use malloc internally.
// It restricts format string to non-floating point arguments
// which seems ok for now
#define printf iprintf


//bool printf(char *, ...);
void print_string(uint8_t *str, uint16_t len);

#endif
